翻訳と辞書 Words near each other ・ Paul Lohmann ・ Paul Loicq ・ Paul Loicq Award ・ Paul Lokiru Kalanda ・ Paul Lomami-Tshibamba ・ Paul Londershausen House ・ Paul London ・ Paul London and Brian Kendrick ・ Paul Long ・ Paul Longden ・ Paul Longley ・ Paul Longua ・ Paul Lorck Eidem ・ Paul Lord ・ Paul Lord (rugby league) ・ Paul Lorenzen ・ Paul Lorieau ・ Paul Lorrain ・ Paul Loscocco ・ Paul Lotman ・ Paul Lotsij ・ Paul Loughlin ・ Paul Loughran ・ Paul Louis Amans Dop ・ Paul Louis Courier ・ Paul Louis Duroziez ・ Paul Louis Mercanton ・ Paul Lovatt-Cooper ・ Paul Lovegrove ・ Paul Lovens Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Paul Lorenzen ： ウィキペディア英語版 Paul Lorenzen Paul Lorenzen (March 24, 1915 – October 1, 1994) was a German philosopher and mathematician, founder of the Erlangen School (with Wilhelm Kamlah) and inventor of game semantics (with Kuno Lorenz). ==Biography== Lorenzen studied with David Hilbert as a schoolboy and he was one of Hasse's students at the University of Göttingen until his promotion in 1938. He became pupil of Krull in University of Bonn. His main work was on the foundations of mathematics, in proof theory. He created and modified constructive mathematics. Lorenzen taught at Stanford, the University of Texas, and Boston University in the USA. He was John Locke Lecturer in 1967/1968. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Paul Lorenzen」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.